i  j < k == (i  j)  (j < k) 

latex

Definitions	P  Q, A  B, a < b
FDL editor aliases	lelt